Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est LEGO (proof assistant) - définition
LEGO (proof assistant)
LOGICAL PROOF ASSISTANT
Lego (proof assistant)
LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CoC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT).
Modulex
![Lego injection moulding machines, made by the German company [[Arburg]]](https://commons.wikimedia.org/wiki/Special:FilePath/Arburg Lego.png?width=200 "Lego injection moulding machines, made by the German company [[Arburg]]")
![Hilary Fisher Page's ''Interlocking Building Cubes'' by [[Kiddicraft]], 1939](https://commons.wikimedia.org/wiki/Special:FilePath/Bri-Plax Interlocking Building Cubes - Hilary Fisher Page 1939.jpg?width=200 "Hilary Fisher Page's ''Interlocking Building Cubes'' by [[Kiddicraft]], 1939")
![The Lego factory in [[Kladno]], Czech Republic](https://commons.wikimedia.org/wiki/Special:FilePath/Kladno CZ LEGO factory from NE 007.jpg?width=200 "The Lego factory in [[Kladno]], Czech Republic")
![Lego building at NASA's [[Kennedy Space Center]]](https://commons.wikimedia.org/wiki/Special:FilePath/LEGO Building At KSC.jpg?width=200 "Lego building at NASA's [[Kennedy Space Center]]")
![A model of [[Trafalgar Square]], London, in [[Legoland Windsor]]](https://commons.wikimedia.org/wiki/Special:FilePath/Trafalgar Legoland 2003.jpg?width=200 "A model of [[Trafalgar Square]], London, in [[Legoland Windsor]]")
CONSTRUCTION TOY
LEGOs; Lego Quest; LEGO; LEGO Vikings; Throwbots; Slizers; Lego blocks; MOC (My Own Creation); Lego wars; Legos art; LEGOS; Lego Transport; LEGO Set; Lego.com; Lego network; Play well; Lego Models; LEGO Models; My Lego Network; Lego brick; Lego set; Lego studs; Lego stud; Lego Exclusives; Lego vikings; Lego website; Www.lego.com; Lego web page; Lego shop; My lego; LEGO Hero Factory; LEGO Hero Factory TV series; List of LEGO Hero Factory episodes; List of LEGO tv shows; Lego superheroes; Clikit; Lego Hero Factory; Lego tire; Lego tyres; Lego tires; Lego tyre; Lego bricks; User:AdviceOnTech/Lego WeDo Robotics; Slizer/Throwbots; Lego System; LEGO tire; Lego books and magazines; Lego books; Lego magazines; Modulex; Lego (toy)
Based on Modula-2. Mentioned by M.P. Atkinson & J.W. Schmidt
in a tutorial in Zurich, 1989.
Lego
CONSTRUCTION TOY
LEGOs; Lego Quest; LEGO; LEGO Vikings; Throwbots; Slizers; Lego blocks; MOC (My Own Creation); Lego wars; Legos art; LEGOS; Lego Transport; LEGO Set; Lego.com; Lego network; Play well; Lego Models; LEGO Models; My Lego Network; Lego brick; Lego set; Lego studs; Lego stud; Lego Exclusives; Lego vikings; Lego website; Www.lego.com; Lego web page; Lego shop; My lego; LEGO Hero Factory; LEGO Hero Factory TV series; List of LEGO Hero Factory episodes; List of LEGO tv shows; Lego superheroes; Clikit; Lego Hero Factory; Lego tire; Lego tyres; Lego tires; Lego tyre; Lego bricks; User:AdviceOnTech/Lego WeDo Robotics; Slizer/Throwbots; Lego System; LEGO tire; Lego books and magazines; Lego books; Lego magazines; Modulex; Lego (toy)
¦ noun trademark a toy consisting of interlocking plastic building blocks.
Origin
1950s: from Dan. leg godt 'play well'.
Wikipédia
LEGO (proof assistant)
LEGO is a proof assistant developed by Randy Pollack at the University of Edinburgh. It implements several type theories: the Edinburgh Logical Framework (LF), the Calculus of Constructions (CoC), the Generalized Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT).
